2.87/2.96	unsat
