3.43/4.74	unsat
