18.49/18.58	unsat
