3.68/4.12	unsat
