6.46/6.59	unsat
