4.17/6.58	unsat
