25.34/28.63	unsat
