25.56/27.01	unsat
