16.45/19.62	unsat
