4.68/4.82	unsat
