1.20/3.96	unsat
