3.08/3.30	unsat
