26.35/27.89	unsat
