16.06/19.64	unsat
