6.59/7.12	unsat
