25.56/29.48	unsat
