16.25/19.76	unsat
