4.67/4.73	unsat
