10.27/11.85	unsat
