17.66/19.09	unsat
