26.24/27.95	unsat
