4.80/4.96	unsat
