3.08/3.24	unsat
