16.45/19.76	unsat
