3.83/4.12	unsat
