1.29/1.96	unsat
