1.29/2.96	unsat
