5.97/6.63	unsat
