26.63/26.74	unsat
