18.93/19.03	unsat
