1.48/1.96	unsat
