11.78/11.85	unsat
