6.59/10.54	unsat
