4.69/4.74	unsat
