18.46/19.01	unsat
