11.17/14.85	unsat
