19.29/23.87	unsat
