16.17/19.62	unsat
