17.97/19.44	unsat
