27.81/27.96	unsat
