26.63/26.78	unsat
