3.08/3.26	unsat
