6.59/11.80	unsat
