25.51/28.63	unsat
