4.87/4.96	unsat
