4.68/4.75	unsat
