26.07/26.63	unsat
