16.07/17.85	unsat
