27.79/27.96	unsat
