25.46/27.23	unsat
