19.16/19.89	unsat
