4.68/4.74	unsat
