16.27/17.85	unsat
