26.36/27.89	unsat
