8.74/11.85	unsat
