26.93/27.41	unsat
