17.66/19.59	unsat
