25.91/27.72	unsat
