3.17/3.51	unsat
