17.97/18.33	unsat
