17.97/19.40	unsat
