17.32/18.84	unsat
