26.21/27.47	unsat
