6.29/6.63	unsat
