4.68/4.73	unsat
