27.89/27.96	unsat
