1.47/1.96	unsat
