2.89/2.96	unsat
