3.48/3.51	unsat
