6.59/8.34	unsat
