18.35/18.49	unsat
