3.07/4.07	unsat
