19.16/19.39	unsat
