2.88/2.96	unsat
