6.29/6.46	unsat
