10.17/19.59	unsat
