4.17/6.51	unsat
