3.06/3.09	unsat
