18.16/19.89	unsat
