25.87/27.95	unsat
