27.83/27.91	unsat
