27.16/27.41	unsat
