1.69/2.96	unsat
