4.90/4.96	unsat
