11.76/11.85	unsat
