11.02/11.85	unsat
