3.49/3.51	unsat
