17.97/19.33	unsat
