6.17/6.46	unsat
