16.78/16.85	unsat
