25.87/26.68	unsat
